This book shows otherwise. John Martin rehabilitates Neoplatonism, founded by Plotinus and brought into Christianity by St. Augustine.

"In 1982, the author of this book issued a "promissory note" of just the sort that analytic philosophers of the twentieth century have led us to expect will come to nothing. This particular "note" occurred as a passing remark in the concluding chapter of his Introducing Semiotic (Indiana University Press) to the effect that it would be possible to establish the classical distinction between sense and intellect by means of the analysis of the role of relations in the action of (...) signs." "Provoked by the remark of a colleague that, could this promissory note be fulfilled, it would provide "the first essay worth reading on the subject since the days of Locke and Hume," Deely decided to break with the analytic tradition of leaving promissory notes unfulfilled and to develop the alleged possible proof in full." "A colloquium convened by Professor Norma Tasca, in the Fall of 1995 in Porto, Portugal, provided Deely with the occasion. His lengthy essay for the occasion, ponderously titled "The Intersemiosis of Perception and Understanding," became the initial draft of this book." "Especially in the circles of English-speaking philosophers, where a mere difference of degree between animal intelligence and human understanding has come to be largely taken for granted and philosophy has been reduced to a play of linguistic signs without regard for the dependency of those signs upon other signs whose play is far from linguistic, the work is bound to stimulate considerable debate."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved. (shrink)

An interpretation in modal and tense logic is proposed for Boethius's reconciliation of God's foreknowledge with human freedom from The consolation of philosophy, Book V. The interpretation incorporates a suggestion by Paul Spade that God's special status in time be explained as a restriction of God's knowledge to eternal sentences. The argument proves valid, and the seeming restriction on omnipotence is mitigated by the very strong expressive power of eternal sentences.

The paper shows that in the Art of Thinking (The Port Royal Logic) Arnauld and Nicole introduce a new way to state the truth-conditions for categorical propositions. The definition uses two new ideas: the notion of distributive or, as they call it, universal term, which they abstract from distributive supposition in medieval logic, and their own version of what is now called a conservative quantifier in general quantification theory. Contrary to the interpretation of Jean-Claude Parienté and others, the (...) truth-conditions do not require the introduction of a new concept of ‘indefinite’ term restriction because the notion of conservative quantifier is formulated in terms of the standard notion of term intersection. The discussion shows the following. Distributive supposition could not be used in an analysis of truth because it is explained in terms of entailment, and entailment in terms of truth. By abstracting from semantic identities that underlie distribution, the new concept of distributive term is definitionally prior to truth and can, therefore, be used in a non-circular way to state truth-conditions. Using only standard restriction, the Logic’s truth-conditions for the categorical propositions are stated solely in terms of (1) universal (distributive) term, (2) conservative quantifier, and (3) affirmative and negative proposition. It is explained why the Cartesian notion of extension as a set of ideas is in this context equivalent to medieval and modern notions of extension. (shrink)

Neither novel should be read as predictions, the accuracy of which can be used to judge them. Rather, both attempt to portray what humanity could conceivably become. The authenticity of this conceivability is a necessary condition of the power of both works to raise central philosophical questions about the human condition. What is ethically wrong with control? How far can Man go in recreating himself? In what sense are these worlds anti-utopian? Are they really possible worlds? How credible are they (...) as political systems? In what ways do the different systems depict the end of humanity? What logical and moral objections could be made against their fictional apologists? (shrink)

The author addresses the question of the necessity of logic courses in undergraduate education, particularly their use as a requirement in the humanities. This paper outlines why logic counts as a humanities subject and why certain virtues of logic are beneficial to a humanities education. The authors explores these two aspects of the question and invites the reader to decide whether the combination of these two aspects of a logic course jointly satisfy the educational needs of (...) their particular institution’s curriculum. (shrink)

This book sets out for the first time in English and in the terms of modern logic the semantics of the Port Royal Logic of Antoine Arnauld and Pierre Nicole, perhaps the most influential logic book in the 17th and 18th centuries. Its goal is to explain how the Logic reworks the foundation of pre-Cartesian logic so as to make it compatible with Descartes' metaphysics. The Logic's authors forged a new theory of reference based (...) on the medieval notion of objective being, which is essentially the modern notion of intentional content. Indeed, the book's central aim is to detail how the Logic reoriented semantics so that it centered on the notion of intentional content. This content, which the Logic calls comprehension, consists of an idea's defining modes. Mechanisms are defined in terms of comprehension that rework earlier explanations of central notions like conceptual inclusion, signification, abstraction, idea restriction, sensation, and most importantly within the Logic's metatheory, the concept of idea-extension, which is a new technical concept coined by the Logic. Although Descartes is famous for rejecting "Aristotelianism," he says virtually nothing about technical concepts in logic. His followers fill the gap. By putting to use the doctrine of objective being, which had been a relatively minor part of medieval logic, they preserve more central semantic doctrines, especially a correspondence theory of truth. A recurring theme of the book is the degree to which the Logic hews to medieval theory. This interpretation is at odds with what has become a standard reading among French scholars according to which this 16th-century work should be understood as rejecting earlier logic along with Aristotelian metaphysics, and as putting in its place structures more like those of 19th-century class theory. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This paper explores the modal interpretation of ?ukasiewicz's n -truth-values, his conditional and the puzzles they generate by exploring his suggestion that by ?necessity? he intends the concept used in traditional philosophy. Scalar adjectives form families with nested extensions over the left and right fields of an ordering relation described by an associated comparative adjective. Associated is a privative negation that reverses the ?rank? of a predicate within the field. If the scalar semantics is interpreted over a totally ordered domain (...) of cardinality n and metric ?, an n-valued Lukasiewicz algebra is definable. Privation is analysed in terms of non-scalar adjectives. Any Boolean algebra of 2 n ?properties? determines an n + 1 valued Lukasiewicz algebra. The Neoplatonic ?hierarchy of Being? is essentially the order presupposed by natural language modal scalars. ?ukasiewicz's ≈ is privative negation, and ? proves to stand for the extensional (antitonic) dual if ? then for scalar adjectives, especially modals. Relations to product logics and frequency interpretations of probability are sketched. (shrink)

An investigation of Proclus' logic of the syllogistic and of negations in the Elements of Theology, On the Parmenides, and Platonic Theology. It is shown that Proclus employs interpretations over a linear semantic structure with operators for scalar negations (hypemegationlalpha-intensivum and privative negation). A natural deduction system for scalar negations and the classical syllogistic (as reconstructed by Corcoran and Smiley) is shown to be sound and complete for the non-Boolean linear structures. It is explained how Proclus' syllogistic presupposes converting (...) the tree of genera and species from Plato's diairesis into the Neoplatonic linear hierarchy of Being by use of scalar hyper and privative negations. (shrink)

Realism for the 21st Century is a collection of thirty essays from John Deely—a major figure in contemporary semiotics and an authority on scholastic realism and the works of Charles Sanders Peirce. The volume tracks Deely's development as a pragmatic realist, featuring his early essays on our relation to the world after Darwinism; crucial articles on logic, semiotics, and objectivity; overviews of philosophy after modernity; and a new essay on “purely objective reality.”.

The paper is a study of the logic of existence, negation, and order in the Neoplatonic tradition. The central idea is that Neoplatonists assume a logic in which the existence predicate is a comparative adjective and in which monadic predicates function as scalar adjectives that nest the background order. Various scalar predicate negations are then identifiable with various Neoplatonic negations, including a privative negation appropriate for the lower orders of reality and a hyper-negation appropriate for the higher. Reversion (...) to the One can then be explained as the logical inference of hyper-negations from mundane knowledge. Part I develops the relevant linguistic and logical theory, and Part II defends Wolfson and the scalar interpretation against the more traditional Aristotelian understanding of Whittaker and others of reversion as intensional abstraction. (shrink)

This paper is roughly in two parts. The first deals with whether know-how is constituted by propositional knowledge, as discussed primarily by Gilbert Ryle (1949) The concept of mind. London: Hutchinson, Jason Stanley and Timothy Williamson (2001). Knowing how. Journal of Philosophy, 98, pp. 411–444 as well as Stephen Hetherington (2006). How to know that knowledge-that is knowledge-how. In S. Hetherington (Ed.) Epistemology futures. Oxford: Oxford University Press. The conclusion of this first part is that know-how sometimes does and sometimes (...) does not consist in propositional knowledge. The second part defends an analysis of know-how inspired by Katherine Hawley’ (2003). Success and knowledge-how. American Philosophical Quarterly, 40, pp. 19–31, insightful proposal that know-how requires counterfactual success. I conclude by showing how this analysis helps to explain why know-how sometimes does and sometimes does not consist of propositional knowledge. (shrink)

Mind, in pursuing its natural thrust toward knowing reality and knowing itself knowing reality, has too often carried along with itself an empty structure which interferes with its objective. This structure is the ordinary formal-logical categories possible, impossible, contingent, necessary.

G. E. Moore famously observed that to assert ‘I went to the pictures last Tuesday but I do not believe that I did’ would be ‘absurd’. Moore calls it a ‘paradox’ that this absurdity persists despite the fact that what I say about myself might be true. Krista Lawlor and John Perry have proposed an explanation of the absurdity that confines itself to semantic notions while eschewing pragmatic ones. We argue that this explanation faces four objections. We give a (...) better explanation of the absurdity both in assertion and in belief that avoids our four objections. (shrink)

(A) I went to the pictures last Tuesday but I don’t believe that I did (1942, p. 543) or (B) I believe that he has gone out. But he has not (1944, p. 204) would be “absurd” (1942, p. 543; 1944, p. 204). Wittgenstein’s letters to Moore show that he was intensely interested in this discovery of a class of possibly true yet absurd assertions. Wittgenstein thought that the absurdity is important because it is “something similar to a contradiction, thought (...) it isn’t one” (1974, p. 177). What is the explanation of the absurdity of saying or believing something about myself that might be true? Wittgenstein thought that although the explanation will say “something about the logic of assertion” it will also show that “logic isn’t as simple as logicians think it is”. So although the explanation should.. (shrink)

An analysis is proposed for the common argument that something should be preserved because it is irreplaceable. The argument is shown to depend on modal elements in irreplaceable, existence assumptions of preserve, and the logic of obligation. In terms of this theory it is argued that utilitarianism can account for most, but not all instances of persuasive appeals to irreplaceability. Beingessentially backwards looking, utilitarianism cannot in principle justify preservation of objects irreplaceable because of their history or genesis.

G. E. Moore famously observed that to say, “ I went to the pictures last Tuesday but I don’t believe that I did” would be “absurd”. Why should it be absurd of me to say something about myself that might be true of me? Moore suggested an answer to this, but as I will show, one that fails. Wittgenstein was greatly impressed by Moore’s discovery of a class of absurd but possibly true assertions because he saw that it illuminates “the (...) logic of assertion”. Wittgenstein suggests a promising relation of assertion to belief in terms of the idea that one “expresses belief” that is consistent with the spirit of Moore’s failed attempt to explain the absurdity. Wittgenstein also observes that “under unusual circumstances”, the sentence, “It’s raining but I don’t believe it” could be given “a clear sense”. Why does the absurdity disappear from speech in such cases? Wittgenstein further suggests that analogous absurdity may be found in terms of desire, rather than belief. In what follows I develop an account of Moorean absurdity that, with the exception of Wittgenstein’s last suggestion, is broadly consistent with both Moore’s approach and Wittgenstein’s. (shrink)

The Port Royal Logic Logic or the Art of Thinking, commonly known as The Port Royal Logic, was written by Antoine Arnauld and Pierre Nicole and first published in 1662. Although it was a textbook containing much worked-over material, the Logic was extremely influential, certainly the most important textbook in logic for the next two … Continue reading Port Royal Logic →.

Quantifiers in Frege's Grundgesetze like are not well-defined because the part Fx & Gx stands for a concept but the yoking conjunction is horizontalised and must stand for a truth-value. This standard interpretation is rejected in favor of a substitutional reading that, it is argued, both conforms better to the text and is well-defined. The theory of the horizontal is investigated in detail and the composite reading of Frege's connectives as made up of horizontals is rejected. The sense in which (...) the Grundgesetze has a many-valued but classical logic is explained by proving that its propositional fragment (under the standard interpretation) and Bochvar's 3-valued logic are instances of the same metatheoretic methods. Historically, the paper argues for a more naive but well-defined reading of the text. Theoretically, it provides a formally adequate statement of that semantics, as well as developing the abstract metatheory which embraces Bochvar's language and the Fregean fragment. (shrink)

Suppose that someone wishes to characterize God as the independent, the creature as the totally dependent. Or suppose that someone wishes to work out in general the implications of the independent vis-à-vis the totally dependent. I take total dependence to entail that B is dependent upon A, but that A is independent of B, that B is dependent on nothing else than A, and that there is nothing in B which is independent of A. Are there other logical patterns which (...) are legitimate renderings of, or at least compatible with, independence: total dependence? (shrink)

The paper explores the existential import of universal affirmative in Descartes, Arnauld and Malebranche. Descartes holds, inconsistently, that eternal truths are true even if the subject term is empty but that a proposition with a false idea as subject is false. Malebranche extends Descartes? truth-conditions for eternal truths, which lack existential import, to all knowledge, allowing only for non-propositional knowledge of contingent existence. Malebranche's rather implausible Neoplatonic semantics is detailed as consisting of three key semantic relations: illumination by which God's (...) ideas cause mental terms, creation by which God's ideas cause material substances by a kind of ?ontic privation?, and sensation in which brain events occasion states of mental awareness. In contrast, Arnauld distinguishes two types of propositions ? necessary and contingent ? with distinct truth-conditions, one with and one without existential import. Arnauld's more modern semantics is laid out as a theory of reference that substitutes earlier causal accounts with one that adapts the medieval notion of objective being. His version anticipates modern notions of intentional content and appeals in its ontology only to substances and their modes. (shrink)

Review of Eckart Menzler-Trott’s book, Logic’s Lost Genius: The Life of Gerhard Gentzen.